#include "kernel.h"

ssize_t read(int fd, char* buffer, size_t n);
ssize_t write(int fd, const char* buffer, size_t n);
